# a awk script to filter the number
# 2009/09/17
#
substr($1,1,1) == "~"{
$1=substr($1,3)
}
substr($1,6) != $2 {
print $1,$2
}
